in{-}interface(${\it es}$;$X$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<$loc($e$), kind($e$)$>$ $\in$ dom($X$)